Automated verification of shape, size and bag properties.

In recent years, separation logic has emerged as a contender for formal reasoning of heap-manipulating imperative programs. Recent works have focused on specialised provers that are mostly based on fixed sets of predicates. To improve expressivity, we have proposed a prover that can automatically handle user-defined predicates. These shape predicates allow programmers to describe a wide range of data structures with their associated size properties. In the current work, we shall enhance this prover by providing support for a new type of constraints, namely bag (multi-set) constraints. With this extension, we can capture the reachable nodes (or values) inside a heap predicate as a bag constraint. Consequently, we are able to prove properties about the actual values stored inside a data structure

THE EMOTIONAL POWER OF ODORS: IDENTIFYING THE DIMENSIONS REFERRING TO FEELINGS PRODUCED BY ODORS

Abstract There is broad literature on the emotional effect of odors but, so far, little concern with the precise mechanism underlying the elicitation of emotions via olfactory stimuli. One reason for this neglect might be the lack of answers to a major question that underlie any research on odors and emotions: What exactly are the emotions associated to odors and how are they organised? The major issue addressed in the present paper concerns the nature of the verbal labels that refer to the specific states produced by odors. We conducted a series of studies in order to examine which terms are best suited to describe the feelings associated to odors and autobiographical memories. In Study 1, the relevance of a broad list of candidate affect terms to describe odor-related feelings was examined by two groups of participants with different level of knowledge about odors. In study 2, the most relevant terms retained from study 1 were evaluated with actual odorant samples and the data were submitted to a series of exploratory factor analyses to reduce the set of variables to a smaller set of summary-scales and to get a preliminary sense of the differentiation of affects elicited by odors. The Study 3 replicated Study 2 with a larger and more representative sample of odorant samples and participants. Overall, the findings point to a structure of affective responses to odors that differs from the more traditional taxonomies of emotion such as posited by discrete emotion or dimensional theories and suggest that affective states elicited by odors are structured around few dimensions that clearly reflect the role of olfaction in social interactions, danger prevention and arousal/relaxation sensations

Factors influencing consumer wine choice: The case of wine tourism

This research was undertaken to examine the relationship between the wine tourism activities of consumers and their subsequent wine choices. Exploratory research was undertaken giving specific attention to wine tourism, first, as a factor of influence on decision-making, second, on levels of consumer involvement and third on long-term consumer loyalty. A convenience sample of 12 wine consumers in Dublin participated in the study. Semi-structured in-depth interviews were used to gather the qualitative data used. The findings clearly establish links made by consumers between their wine tourism experiences and their subsequent wine purchase preferences. The findings highlight the importance of facilitating the co-creation of memorable wine tourism experiences as a determinant of improved consumer involvement as well as the development of long-term consumer loyalty. Implications for industry practitioners suggest a continued focus on the provision of unique wine tourism experiences; while the findings support the theoretical links between consumers own past experiences and their use as a valuable information source when making purchase decisions

Emotional ratings and skin conductance response to visual, auditory and haptic stimuli

The human emotional reactions to stimuli delivered by different sensory modalities is a topic of interest for many disciplines, from Human-Computer-Interaction to cognitive sciences. Different databases of stimuli eliciting emotional reaction are available, tested on a high number of participants. Interestingly, stimuli within one database are always of the same type. In other words, to date, no data was obtained and compared from distinct types of emotion-eliciting stimuli from the same participant. This makes it difficult to use different databases within the same experiment, limiting the complexity of experiments investigating emotional reactions. Moreover, whereas the stimuli and the participants’ rating to the stimuli are available, physiological reactions of participants to the emotional stimuli are often recorded but not shared. Here, we test stimuli delivered either through a visual, auditory, or haptic modality in a within participant experimental design. We provide the results of our study in the form of a MATLAB structure including basic demographics on the participants, the participant’s self-assessment of his/her emotional state, and his/her physiological reactions (i.e., skin conductance)

Cross-cultural color-odor associations

Colors and odors are associated; for instance, people typically match the smell of strawberries to the color pink or red. These associations are forms of crossmodal correspondences. Recently, there has been discussion about the extent to which these correspondences arise for structural reasons (i.e., an inherent mapping between color and odor), statistical reasons (i.e., covariance in experience), and/or semantically-mediated reasons (i.e., stemming from language). The present study probed this question by testing color-odor correspondences in 6 different cultural groups (Dutch, Netherlands-residing-Chinese, German, Malay, Malaysian-Chinese, and US residents), using the same set of 14 odors and asking participants to make congruent and incongruent color choices for each odor. We found consistent patterns in color choices for each odor within each culture, showing that participants were making non-random color-odor matches. We used representational dissimilarity analysis to probe for variations in the patterns of color-odor associations across cultures; we found that US and German participants had the most similar patterns of associations, followed by German and Malay participants. The largest group differences were between Malay and Netherlands-resident Chinese participants and between Dutch and Malaysian-Chinese participants. We conclude that culture plays a role in color-odor crossmodal associations, which likely arise, at least in part, through experience

Can Ambient Scent Enhance the Nightlife Experience?

Ever since smoking was prohibited in restaurants, bars, and clubs, undesirable smells that were previously masked by cigarette smoke became noticeable. This opens up opportunities to improve the dance club environment by introducing pleasant ambient scents that mask the unwanted odors and to allow competing clubs to differentiate themselves. A field study was conducted at three dance clubs using a 3 × 3 Latin square design with pre- and post-measurements of no-scent control conditions. The three scents tested were orange, seawater, and peppermint. These scents were shown to enhance dancing activity and to improve the evaluation of the evening, the evaluation of the music, and the mood of the visitors over no added scent. However, no significant differences were found between the three scents

When Flexibility Is Stable: Implicit Long-Term Shaping of Olfactory Preferences

Preferences are traditionally assumed to be stable. However, empirical evidence such as preference modulation following choices calls this assumption into question. The evolution of such postchoice preference over long time spans, even when choices have been explicitly forgotten, has so far not been studied. In two experiments, we investigated this question by using a variant of the free choice paradigm: In a first session, participants evaluated the pleasantness of a number of odors. We then formed pairs of similarly rated odors, and asked participants to choose their favorite, for each pair. Participants were then presented with all odors again, and asked for another pleasantness rating. In a second session 1 week later, a third pleasantness rating was obtained, and participants were again asked to choose between the same options. Results suggested postchoice preference modulation immediately and 1 week after choice for both chosen and rejected options, even when choices were not explicitly remembered. A third experiment, using another paradigm, confirmed that choice can have a modulatory impact on preferences, and that this modulation can be long-lasting. Taken together, these findings suggest that although preferences appear to be flexible because they are modulated by choices, this modulation also appears to be stable over time and even without explicit recollection of the choice. These results bring a new argument to the idea that postchoice preference modulation could rely on implicit mechanisms, and are consistent with the recent proposal that cognitive dissonance reduction could to some extent be implicit

Psycholinguistic variables matter in odor naming

People from Western societies generally find it difficult to name odors. In trying to explain this, the olfactory literature has proposed several theories that focus heavily on properties of the odor itself but rarely discuss properties of the label used to describe it. However, recent studies show speakers of languages with dedicated smell lexicons can name odors with relative ease. Has the role of the lexicon been overlooked in the olfactory literature? Word production studies show properties of the label, such as word frequency and semantic context, influence naming; but this field of research focuses heavily on the visual domain. The current study combines methods from both fields to investigate word production for olfaction in two experiments. In the first experiment, participants named odors whose veridical labels were either high-frequency or low-frequency words in Dutch, and we found that odors with high-frequency labels were named correctly more often. In the second experiment, edibility was used for manipulating semantic context in search of a semantic interference effect, presenting the odors in blocks of edible and inedible odor source objects to half of the participants. While no evidence was found for a semantic interference effect, an effect of word frequency was again present. Our results demonstrate psycholinguistic variables-such as word frequency-are relevant for olfactory naming, and may, in part, explain why it is difficult to name odors in certain languages. Olfactory researchers cannot afford to ignore properties of an odor's label